Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing
نویسنده
چکیده
In several application domains (detection systems, telecommunications, video processing, etc.) the applications deal with multidimensional data. These applications are usually embedded and subjected to real-time and resource constraints. The challenge is thus to provide efficient implementations on parallel and distributed architectures. Array-OL has been designed specifically to handle this kind of intensive multidimensional signal processing applications. In this paper we present the language and its formal semantics. A subset of Array-OL, Static Array-OL, is defined that ensures the existence of a static scheduling. Finally, we discuss how to map and schedule an Array-OL application on a parallel and distributed architecture. Key-words: Array-OL, parallelism, data parallelism, multidimensional signal processing, formal semantics * Laboratoire d’Informatique Fondamentale de Lille, Université des Sciences et Technologies de Lille, Cité Scientifique, 59655 Villeneuve d’Ascq, France Sémantique formelle d’Array-OL, un langage spécifique au domaine du traitement du signal intensif multidimensionnel Résumé : Dans plusieurs domaines d’application (systèmes de détection, télécommunications, traitement vidéo, etc.) les applications manipulent des données multidimensionnelles. Elles sont de plus souvent embarquées et soumises à des contraintes de tems-réel et de ressources. Ainsi la difficulté est de construire des implémentations efficaces sur des architectures parallèles et distribuées. Array-OL a été conçu spécifiquement pour ces applications de taitement du signal intensif multidimensionnel. Nous proposons dans ce rapport une sémantique formelle pour Array-OL. Un sous-ensemble dArray-OL, Static Array-OL, est défini pour garantir l’existence d’un ordonnancement statique. Pour finir, nous discutons de la façon de placer et d’ordonnancer une application Array-OL sur une architecture parallèle et distribuée. Mots-clés : Array-OL, parallélisme, parallélisme de données, traitement de signal multidimensionnel, sémantique formelle Formal Semantics of Array-OL 3
منابع مشابه
High Level Loop Transformations for Systematic Signal Processing Embedded Applications
Array-OL specification model is a mixed graphical-textual language designed to model multidimensional intensive signal processing applications. Data and task parallelism are specified directly in the model. High level transformations are defined on this model, allowing the refactoring of an application and furthermore providing directions for optimization. The resemblances between with the wide...
متن کاملCompilation Principle of a Specification Language Dedicated to Signal Processing
Array-OL, developed by Thomson Marconi Sonar, is a programming language dedicated to signal processing. An Array-OL program specifies the dependencies between array elements produced and consumed by tasks. In particular, temporal dependencies may be specified by referencing elements that belong to an infinite dimension of an array. A basic compilation strategy of Array-OL on a workstation has b...
متن کاملSynchronous Modeling and Analysis of Data Intensive Applications
We present the modeling of data-intensive parallel applications following the synchronous approach. We consider the GASPARD environment, which is dedicated to high-performance system-on-chip (SoC) codesign. Our motivation is to bridge the gap between the GASPARD design approach and the formal validation techniques provided by the synchronous technology. First, we define a synchronous dataflow e...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملWindowing Effects of Short Time Fourier Transform on Wideband Array Signal Processing Using Maximum Likelihood Estimation
During the last two decades, Maximum Likelihood estimation (ML) has been used to determine Direction Of Arrival (DOA) and signals propagated by the sources, using narrowband array signals. The algorithm fails in the case of wideband signals. As an attempt by the present study to overcome the problem, the array outputs are transformed into narrowband frequency bins, using short time Fourier tran...
متن کامل